Efficient top-down set-sharing analysis using cliques

Abstract. We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a top-down framework. In particular, we define the new abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. We use cliques both as an alternative representation and as widening, defining several widening operators. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efficieney gains are obtained. We also derive useful conclusions regarding the interactions between thresholds, precisión, efficieney and cost of widening. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations.

A study of set-sharing analysis via cliques

We study the problem of efñcient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a topdown framework. In particular, we define the abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efñciency gains are obtained. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations.

Space-time analysis of the urban-rural grafient in the metropolitan area of Madrid and ist surroundings -Guadalajara and Toledo.

According to UN provisions in the period from 2007 to 2050 world population will grow up to 9200 million people. In fact, for the first time in history, in the year 2008 world urban population became higher than rural population. The increase of urban areas and their transport infrastructures has influenced agricultural land use due to their irreversible change, especially when they remain as periurban vacant land, losing their character and identity. In the Europe of the nineties, the traditional urban-rural gradient, characterized by a neat contact between both land types, has become so complex that it has change to a gradient in which it is difficult to separate urban and rural land uses. [Antrop 2004]. A literature review has been made on methodologies used for the urban-rural gradient analysis. One of these methodologies was selected that integrates ecological characterization based on the use of spatial metrics and geographical characterization based on spatial components. Cartographical sources used were Corine Land Cover at 1: 100000 scale and the Spanish Land Use Information System at 1:25000 scale. Urban-rural gradient paradigm is an analysis methodology, coming from landscape ecology, which enables to investigate how urbanization provokes changes in ecological patterns and processes into landscape. [Hahs and McDonnell 2006].The present research adapt this methodology to study the urban-rural gradient in the outskirts of Madrid, Toledo and Guadalajara. Both scales (1:25000 and 1:100000) were simultaneously used to reach the next objectives: 1) Analysis of landscape pattern dynamics in relation to distance to the town centre and major infrastructures. 2) Analysis of landscape pattern dynamics in the fringe of protected areas. The paper presents a new approach to the urban-rural relationship which allows better planning and management of urban áreas.

Planning and Management of Mobility in Natural Protected Areas

The paper describes some relevant results of an on-going research aiming to elaborate a methodology to help the mobility management in natural parks, compatible with their protection missions: it has been developed a procedure to reproduce the mobility-environment relationships in various operational conditions. The final purpose is the identification of: a) the effects of various choices in transport planning, both at long term and strategic level; b) the most effective policies of mobility management. The work is articulated in the following steps: 1) definition of protected area on the basis of ecological and socio-economic criteria and legislative constraints; 2) analysis of mobility needs in the protected areas; 3) reconstruction of the state of the art of mobility management in natural parks at European level; 4) analysis of used traffic flows measurement methods; 5) analysis of environmental impacts due to transport systems modelling (air pollution and noise only); 6) identification of mitigation measures to be potentially applied. The whole methodology has been tested and validated on Italian case studies: i) the concerned area has been zoned according to the land-use peculiarities; ii) the local situations of transport infrastructure (roads and parking), services (public transport systems) and rules (traffic regulations) have been mapped with references to physical and functional attributes; iii) the mobility, both systematic and touristic, has been represented in an origin-destination matrix. By means of an assignment model the flows have been distributed and the corresponding average speeds to quantify gaseous and noise emissions was calculated, the criticalities in the reference scenario have been highlighted, as well as some alternative scenarios, including both operational and infrastructural measures have been identified. The comparison between projects and reference scenario allowed the quantification of effects (variation of emissions) for each scenario and a selection of the most effective management actions to be taken.

Planning and management of mobility in natural protected areas

The final purpose is the identification of: a) the effects of various choices in transport planning, both at long term and strategic level; b) the most effective policies of mobility management. The preliminary work was articulated in the following steps: 1) definition of protected area on the basis of ecological and socio-economic criteria and legislative constraints; 2) analysis of mobility needs in the protected areas; 3) reconstruction of the state of the art of mobility management in natural parks at European level; 4) analysis of used traffic flows measurement methods; 5) analysis of environmental impacts due to transport systems modelling (limited to air pollution and noise); 6) identification of mitigation measures to the potentially applied. The whole methodology has been firstly tested on the case study of the National Park of ?Gran Sasso and Monti della Laga? and further validated on the National Park of ?Gargano?, both located Italy: i) the concerned area has been zoned according to the land-use peculiarities; ii) the local situations of transport infrastructure (roads and parking), services (public transport systems) and rules (traffic regulations) have been mapped with references to physical and functional attributes; iii) the mobility, both systematic and touristic, has been synthetically represented in an origin-destination matrix. By means of an assignment model it has been determined the distribution of flows and the corresponding average speeds to quantify gaseous and noise emissions. On this basis the environmental criticalities in the reference scenario have been highlighted, as well as some alternative scenarios including both operational and infrastructural measures have been identified. The comparison between the projects and the reference scenario allowed the quantification of the effects (variation of emissions) for each scenario and a selection of the most effective management actions to be taken.

Mycorrhizal preferences and fine spatial structure of the epiphytic orchid Epidendrum rhopalostele

• Premise of the study: The presence of compatible fungi is necessary for epiphytic orchid recruitment. Thus, identifying associated mycorrhizal fungi at the population level is essential for orchid conservation. Recruitment patterns may also be conditioned by factors such as seed dispersal range and specific environmental characteristics. • Methods: In a forest plot, all trees with a diameter at breast height >1 cm and all individuals of the epiphytic orchid Epidendrum rhopalostele were identified and mapped. Additionally, one flowering individual of E. rhopalostele per each host tree was randomly selected for root sampling and DNA extraction. • Key results: A total of 239 E. rhopalostele individuals were located in 25 of the 714 potential host trees. Light microscopy of sampled roots showed mycorrhizal fungi in 22 of the 25 sampled orchids. Phylogenetic analysis of ITS1-5.8S-ITS2 sequences yielded two Tulasnella clades. In four cases, plants were found to be associated with both clades. The difference between univariate and bivariate K functions was consistent with the random labeling null model at all spatial scales, indicating that trees hosting clades A and B of Tulasnella are not spatially segregated. The analysis of the inhomogenous K function showed that host trees are not clustered, suggesting no limitations to population-scale dispersal. χ2 analysis of contingency tables showed that E. rhopalostele is more frequent on dead trees than expected. • Conclusions: Epidendrum rhopalostele establishes mycorrhizal associations with at least two different Tulasnella species. The analysis of the distribution patterns of this orchid suggests a microsite preference for dead trees and no seed dispersal limitation.

Análisis sectorial y posicionamiento estratégico: el caso de la industria naval hacia el 2050

El motivo de abordar esta Tesis responde al hecho personal de haber vivido históricamente momentos cumbre de la Construcción Naval en España y no dejar de plantearme, a pesar de mi distancia del sector desde el punto de vista profesional, en las opciones de futuro para volver a ser competitivos en un sector que ha tenido un peso tan importante en la economía española, y que tanto ha ilusionado a centenares de profesionales y compañeros a lo largo de muchas décadas con el optimismo de estar aportando valor para que España fuera competitiva. A lo largo de los últimos años, y la relación con el ámbito de la dirección de Empresas desde el punto de vista de una Escuela de Negocios, así como el contacto con enfoques estratégicos en sectores muy diversos me animó a plantearme la Tesis con el objetivo de reflejar el estado actual del sector y poder valorar alternativas de futuro para la Construcción Naval española, aun sabiendo que son muchos los “maestros” realmente autorizados en nuestros país, con amplios conocimientos y experiencia, que muchas veces, a pesar de las propuestas y de los esfuerzos que han realizado para impulsar el sector, se han encontrado con situaciones adversas, bien de tipo económico, social‐laboral, político ‐a nivel nacional, europeo o global‐, etc., que han impedido un fortalecimiento del sector como todos hubiéramos deseado. La presión histórica ejercida por los países competidores en Construcción naval del ámbito asiático y lejano oriente, así como los compromisos derivados de las Directivas europeas, han obligado al sector de la Construcción Naval en España a buscar unos nuevos posicionamientos estratégicos presentes y, sobre todo, de futuro. Partiendo de un análisis del sector naval, tanto del mercado nacional como del internacional, con especial foco en los países líderes, se plantea investigar, siguiendo el modelo de Porter, las fuerzas competitivas que han influido en estas últimas décadas y que han conducido a la situación actual, valorando la estructura competitiva, el entorno relevante y los efectos de la globalización, con las amenazas de los nuevos y actuales competidores y las barreras existentes. Para abordar esta investigación se ha realizado un análisis del sector naval con la siguiente metodología: 1. Análisis del estado actual de la construcción naval en España. 2. Análisis del estado actual de la construcción naval en el mundo. 3. Estudio de la demanda en el mercado y evolución de la misma en los últimos años: muy centrada en los países líderes y más competitivos. 4. Estudio de las perspectivas de negocio en el sector marítimo y oceánico: estudio particular del transporte marítimo y una comparativa con la explotación de recursos oceánicos. Finalmente se decidió no abordar por falta de datos de futuro las construcciones militares. 5. Estudio de características de la industria naval española y capacidad de los astilleros. Se ha focalizado especialmente en la construcción para valorar la capacidad de futuro. 6. Análisis de fuerzas competitivas de la industria naval española a partir del modelo de Porter. En esta parte se incluyen alguno de los factores críticos externos e internos que ayudan a identificar barreras y estrategias en el entorno de la construcción naval como sector global. 7. Identificación de las oportunidades de negocio hacia el 2050. 8. Alternativas para una estrategia competitiva de actuación frente a las oportunidades de futuro en el 2050. Con esta Tesis se aporta un estudio competitivo actualizado, de acuerdo con el modelo de Porter, con el fin de proponer una posible estrategia competitiva de futuro, que posicione competitivamente la industria naval y el sector marítimo en España en las próximas décadas. ABSTRACT The reason for addressing this thesis responds to my personal experience about having lived historical moments summit Shipbuilding in Spain. Despite my distance from this industry from a professional point of view, I have never stopped wonder myself which are the options for the future to become competitive in an industry that has had such an important weight in the Spanish economy, which has excited so hundreds of professionals and peers through many decades with optimism to be adding value to Spain in order to be competitive again. Over recent years, and the relationship with the field of business management from the point of view of a business school, as well as contact with strategic approaches in diverse sectors encouraged me to wonder Thesis order to reflect the current state of the sector and to evaluate future alternatives for the Spanish Shipbuilding, knowing that many "teachers" really allowed in our country, with extensive knowledge and experience that often, despite proposals and the efforts that have been made to boost the sector, have met with adverse situations, whether economic, social and labor, political kind ‐at national, European or global‐level, etc., that have prevented a strengthening of all sectors we wished. The historical pressure from competing countries in Shipbuilding Asian area and Far East, as well as commitments arising from EU directives, have forced the shipbuilding industry in Spain to seek a new strategic positions present and, above all, future. Starting from an analysis of the shipbuilding sector, both national and international market, with special focus on the leading countries, we propose to investigate, following the model of Porter, the competitive forces that have influenced recent decades and have led to the current situation, assessing the competitive structure of the relevant environment and the effects of globalization, with the threat of new and existing competitors and barriers. To address this research has analyzed the naval sector with the following methodology: 1. Analysis of the current state of shipbuilding in Spain. 2. Analysis of the current state of shipbuilding in the world. 3. Study of the demand in the market and evolution of the same in recent years: very focused on the leading and most competitive countries. 4. Study of business prospects in the maritime and oceanic sector: private study of maritime transport and a comparison with the exploitation of ocean resources. Finally it was decided not to address a lack of data future military construction. 5. Study of characteristics of the Spanish shipbuilding and shipyard capacity. It is particularly focused on building the capacity to assess future. 6. Analysis of competitive forces of the Spanish shipbuilding industry from the model of Porter. In this part they include some critics of the external and internal factors that help identify barriers and strategies in the environment of global shipbuilding sector. 7. Identification of business opportunities by 2050. 8. Alternatives to a competitive strategy of action against future opportunities in 2050. This thesis has sought to provide a competitive study updated according to Porter's model, in order to propose a possible future competitive strategy to reach a competitive position at the shipbuilding industry and the maritime sector in Spain in the coming decades. The historical pressure from competing countries in the Asian sphere Shipbuilding and Far East, as well as commitments arising from EU directives have forced the shipbuilding industry in Spain to seek a new strategic positioning. Starting from an analysis of the shipbuilding sector, both national and international market, with a special focus on the leading countries, it is proposed to analyze, following the model of Porter, the competitive forces that have influenced in recent decades and have led to the current situation, studying the competitive structure of the relevant environment and the effects of globalization, with the threat of new and existing competitors and barriers. It concludes with a forecast of future market and business opportunities arising in the global environment of maritime and naval Industry, in order to propose a possible competitive strategy for the near future, which could help to achieve a competitive position on the shipbuilding and maritime sector in Spain for the coming decades.